LCOV - code coverage report
Current view: top level - src/ev - future.c (source / functions) Hit Total Coverage
Test: Lely core libraries-2.4.0 Code Coverage Lines: 129 242 53.3 %
Date: 2023-12-20 13:56:29 Functions: 25 35 71.4 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 29 78 37.2 %

           Branch data     Line data    Source code
       1                 :            : /**@file
       2                 :            :  * This file is part of the event library; it contains the implementation of the
       3                 :            :  * futures and promises functions.
       4                 :            :  *
       5                 :            :  * @see lely/ev/future.h
       6                 :            :  *
       7                 :            :  * @copyright 2018-2021 Lely Industries N.V.
       8                 :            :  *
       9                 :            :  * @author J. S. Seldenthuis <jseldenthuis@lely.com>
      10                 :            :  *
      11                 :            :  * Licensed under the Apache License, Version 2.0 (the "License");
      12                 :            :  * you may not use this file except in compliance with the License.
      13                 :            :  * You may obtain a copy of the License at
      14                 :            :  *
      15                 :            :  *     http://www.apache.org/licenses/LICENSE-2.0
      16                 :            :  *
      17                 :            :  * Unless required by applicable law or agreed to in writing, software
      18                 :            :  * distributed under the License is distributed on an "AS IS" BASIS,
      19                 :            :  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
      20                 :            :  * See the License for the specific language governing permissions and
      21                 :            :  * limitations under the License.
      22                 :            :  */
      23                 :            : 
      24                 :            : #include "ev.h"
      25                 :            : 
      26                 :            : #if !LELY_NO_MALLOC
      27                 :            : 
      28                 :            : #if !LELY_NO_THREADS
      29                 :            : #include <lely/libc/stdatomic.h>
      30                 :            : #endif
      31                 :            : #include <lely/libc/stddef.h>
      32                 :            : #if !LELY_NO_THREADS
      33                 :            : #include <lely/libc/threads.h>
      34                 :            : #endif
      35                 :            : #include <lely/ev/exec.h>
      36                 :            : #include <lely/ev/future.h>
      37                 :            : #include <lely/ev/task.h>
      38                 :            : #include <lely/util/errnum.h>
      39                 :            : #include <lely/util/util.h>
      40                 :            : 
      41                 :            : #include <assert.h>
      42                 :            : #include <stdint.h>
      43                 :            : #include <stdlib.h>
      44                 :            : 
      45                 :            : #ifndef LELY_EV_FUTURE_MAX
      46                 :            : #define LELY_EV_FUTURE_MAX MAX((LELY_VLA_SIZE_MAX / sizeof(ev_future_t *)), 1)
      47                 :            : #endif
      48                 :            : 
      49                 :            : /// The state of a future.
      50                 :            : enum ev_future_state {
      51                 :            :         /// The future is waiting.
      52                 :            :         EV_FUTURE_WAITING,
      53                 :            :         /**
      54                 :            :          * The promise is in the process of being satisfied (i.e.,
      55                 :            :          * ev_promise_set_acquire() has been invoked).
      56                 :            :          */
      57                 :            :         EV_FUTURE_SETTING,
      58                 :            :         /**
      59                 :            :          * The future is ready (i.e., ev_promise_set_release() has been
      60                 :            :          * invoked).
      61                 :            :          */
      62                 :            :         EV_FUTURE_READY
      63                 :            : };
      64                 :            : 
      65                 :            : /// A future.
      66                 :            : struct ev_future {
      67                 :            :         /**
      68                 :            :          * The state of the future. Since futures are single-shot events, the
      69                 :            :          * state can be set only once.
      70                 :            :          */
      71                 :            : #if LELY_NO_THREADS || (LELY_NO_ATOMICS && (!_WIN32 || defined(__MINGW32__)))
      72                 :            :         int state;
      73                 :            : #elif _WIN32 && !defined(__MINGW32__)
      74                 :            :         volatile LONG state;
      75                 :            : #else
      76                 :            :         atomic_int state;
      77                 :            : #endif
      78                 :            :         /// The value of the future, set by ev_promise_set_release().
      79                 :            :         void *value;
      80                 :            : #if !LELY_NO_THREADS
      81                 :            :         //// The mutex protecting the task queue.
      82                 :            :         mtx_t mtx;
      83                 :            : #endif
      84                 :            :         /**
      85                 :            :          * The queue of tasks submitted by ev_future_submit() waiting
      86                 :            :          * for the future to become ready.
      87                 :            :          */
      88                 :            :         struct sllist queue;
      89                 :            : };
      90                 :            : 
      91                 :            : static ev_future_t *ev_future_init(ev_future_t *future);
      92                 :            : static void ev_future_fini(ev_future_t *future);
      93                 :            : 
      94                 :            : /// A promise.
      95                 :            : struct ev_promise {
      96                 :            :         /**
      97                 :            :          * The number of references to this promise or its future. Once the
      98                 :            :          * reference count reaches zero, this struct is reclaimed.
      99                 :            :          */
     100                 :            : #if LELY_NO_THREADS || (LELY_NO_ATOMICS && (!_WIN32 || defined(__MINGW32__)))
     101                 :            :         size_t refcnt;
     102                 :            : #elif _WIN64 && !defined(__MINGW32__)
     103                 :            :         volatile LONGLONG refcnt;
     104                 :            : #elif _WIN32 && !defined(__MINGW32__)
     105                 :            :         volatile LONG refcnt;
     106                 :            : #else
     107                 :            :         atomic_size_t refcnt;
     108                 :            : #endif
     109                 :            :         /// The (destructor) function invoked when this struct is reclaimed.
     110                 :            :         ev_promise_dtor_t *dtor;
     111                 :            :         /// The future used to monitor if the promise has been satisfied.
     112                 :            :         struct ev_future future;
     113                 :            : };
     114                 :            : 
     115                 :            : #define EV_PROMISE_SIZE ALIGN(sizeof(ev_promise_t), _Alignof(max_align_t))
     116                 :            : 
     117                 :            : static inline ev_promise_t *ev_promise_from_future(const ev_future_t *future);
     118                 :            : 
     119                 :            : static void *ev_promise_alloc(size_t size);
     120                 :            : static void ev_promise_free(void *ptr);
     121                 :            : 
     122                 :            : static ev_promise_t *ev_promise_init(
     123                 :            :                 ev_promise_t *promise, ev_promise_dtor_t *dtor);
     124                 :            : static void ev_promise_fini(ev_promise_t *promise);
     125                 :            : 
     126                 :            : static void ev_future_pop(ev_future_t *future, struct sllist *queue,
     127                 :            :                 struct ev_task *task);
     128                 :            : 
     129                 :            : static ev_future_t *ev_future_when_all_nv(
     130                 :            :                 ev_exec_t *exec, size_t n, ev_future_t *future, va_list ap);
     131                 :            : 
     132                 :            : struct ev_future_when_all {
     133                 :            :         size_t idx;
     134                 :            :         ev_promise_t *promise;
     135                 :            :         struct ev_task task;
     136                 :            :         size_t n;
     137                 :            :         ev_future_t *futures[];
     138                 :            : };
     139                 :            : 
     140                 :            : static void ev_future_when_all_func(struct ev_task *task);
     141                 :            : 
     142                 :            : static ev_future_t *ev_future_when_any_nv(
     143                 :            :                 ev_exec_t *exec, size_t n, ev_future_t *future, va_list ap);
     144                 :            : 
     145                 :            : struct ev_future_when_any {
     146                 :            :         size_t idx;
     147                 :            :         ev_promise_t *promise;
     148                 :            :         struct ev_task task;
     149                 :            : };
     150                 :            : 
     151                 :            : static void ev_future_when_any_func(struct ev_task *task);
     152                 :            : 
     153                 :            : ev_promise_t *
     154                 :         36 : ev_promise_create(size_t size, ev_promise_dtor_t *dtor)
     155                 :            : {
     156                 :         36 :         int errc = 0;
     157                 :            : 
     158                 :         36 :         ev_promise_t *promise = ev_promise_alloc(size);
     159         [ -  + ]:         36 :         if (!promise) {
     160                 :          0 :                 errc = get_errc();
     161                 :          0 :                 goto error_alloc;
     162                 :            :         }
     163                 :            : 
     164                 :         36 :         ev_promise_t *tmp = ev_promise_init(promise, dtor);
     165         [ -  + ]:         36 :         if (!tmp) {
     166                 :          0 :                 errc = get_errc();
     167                 :          0 :                 goto error_init;
     168                 :            :         }
     169                 :         36 :         promise = tmp;
     170                 :            : 
     171                 :         36 :         return promise;
     172                 :            : 
     173                 :          0 : error_init:
     174                 :          0 :         ev_promise_free(promise);
     175                 :          0 : error_alloc:
     176                 :          0 :         set_errc(errc);
     177                 :          0 :         return NULL;
     178                 :            : }
     179                 :            : 
     180                 :            : ev_promise_t *
     181                 :         96 : ev_promise_acquire(ev_promise_t *promise)
     182                 :            : {
     183         [ +  - ]:         96 :         if (promise)
     184                 :            : #if LELY_NO_THREADS || (LELY_NO_ATOMICS && (!_WIN32 || defined(__MINGW32__)))
     185                 :            :                 promise->refcnt++;
     186                 :            : #elif _WIN64 && !defined(__MINGW32__)
     187                 :            :                 InterlockedIncrementNoFence64(&promise->refcnt);
     188                 :            : #elif _WIN32 && !defined(__MINGW32__)
     189                 :            :                 InterlockedIncrementNoFence(&promise->refcnt);
     190                 :            : #else
     191                 :         96 :                 atomic_fetch_add_explicit(
     192                 :            :                                 &promise->refcnt, 1, memory_order_relaxed);
     193                 :            : #endif
     194                 :         96 :         return promise;
     195                 :            : }
     196                 :            : 
     197                 :            : void
     198                 :        163 : ev_promise_release(ev_promise_t *promise)
     199                 :            : {
     200         [ +  + ]:        163 :         if (!promise)
     201                 :         31 :                 return;
     202                 :            : #if LELY_NO_THREADS || (LELY_NO_ATOMICS && (!_WIN32 || defined(__MINGW32__)))
     203                 :            :         if (!--promise->refcnt) {
     204                 :            : #elif _WIN64 && !defined(__MINGW32__)
     205                 :            :         if (!InterlockedDecrementRelease64(&promise->refcnt)) {
     206                 :            :                 MemoryBarrier();
     207                 :            : #elif _WIN32 && !defined(__MINGW32__)
     208                 :            :         if (!InterlockedDecrementRelease(&promise->refcnt)) {
     209                 :            :                 MemoryBarrier();
     210                 :            : #else
     211         [ +  + ]:        132 :         if (atomic_fetch_sub_explicit(&promise->refcnt, 1, memory_order_release)
     212                 :            :                         == 1) {
     213                 :         36 :                 atomic_thread_fence(memory_order_acquire);
     214                 :            : #endif
     215                 :         36 :                 ev_promise_fini(promise);
     216                 :         36 :                 ev_promise_free(promise);
     217                 :            :         }
     218                 :            : }
     219                 :            : 
     220                 :            : int
     221                 :          0 : ev_promise_is_unique(const ev_promise_t *promise)
     222                 :            : {
     223                 :            :         assert(promise);
     224                 :            : 
     225                 :            : #if LELY_NO_THREADS || LELY_NO_ATOMICS
     226                 :            :         return promise->refcnt == 1;
     227                 :            : #else
     228                 :            :         // clang-format off
     229                 :          0 :         return atomic_load_explicit((atomic_size_t *)&promise->refcnt,
     230                 :          0 :                         memory_order_relaxed) == 1;
     231                 :            :         // clang-format on
     232                 :            : #endif
     233                 :            : }
     234                 :            : 
     235                 :            : void *
     236                 :         91 : ev_promise_data(const ev_promise_t *promise)
     237                 :            : {
     238         [ +  - ]:         91 :         return promise ? (char *)promise + EV_PROMISE_SIZE : NULL;
     239                 :            : }
     240                 :            : 
     241                 :            : int
     242                 :          6 : ev_promise_set(ev_promise_t *promise, void *value)
     243                 :            : {
     244                 :          6 :         int result = ev_promise_set_acquire(promise);
     245         [ +  - ]:          6 :         if (result)
     246                 :          6 :                 ev_promise_set_release(promise, value);
     247                 :          6 :         return result;
     248                 :            : }
     249                 :            : 
     250                 :            : int
     251                 :         36 : ev_promise_set_acquire(ev_promise_t *promise)
     252                 :            : {
     253                 :            :         assert(promise);
     254                 :         36 :         ev_future_t *future = &promise->future;
     255                 :            : 
     256                 :            : #if LELY_NO_THREADS || (LELY_NO_ATOMICS && (!_WIN32 || defined(__MINGW32__)))
     257                 :            :         int result = future->state == EV_FUTURE_WAITING;
     258                 :            :         if (result)
     259                 :            :                 future->state = EV_FUTURE_SETTING;
     260                 :            :         return result;
     261                 :            : #elif _WIN32 && !defined(__MINGW32__)
     262                 :            :         // clang-format off
     263                 :            :         return InterlockedCompareExchange(&future->state, EV_FUTURE_SETTING,
     264                 :            :                         EV_FUTURE_WAITING) == EV_FUTURE_WAITING;
     265                 :            :         // clang-format on
     266                 :            : #else
     267                 :         36 :         int state = EV_FUTURE_WAITING;
     268                 :         36 :         return atomic_compare_exchange_strong_explicit(&future->state, &state,
     269                 :            :                         EV_FUTURE_SETTING, memory_order_acq_rel,
     270                 :            :                         memory_order_acquire);
     271                 :            : #endif
     272                 :            : }
     273                 :            : 
     274                 :            : void
     275                 :         36 : ev_promise_set_release(ev_promise_t *promise, void *value)
     276                 :            : {
     277                 :            :         assert(promise);
     278                 :         36 :         ev_future_t *future = &promise->future;
     279                 :            : #if LELY_NO_THREADS || LELY_NO_ATOMICS
     280                 :            :         assert(future->state == EV_FUTURE_SETTING);
     281                 :            : #else
     282                 :            :         assert(atomic_load_explicit(&future->state, memory_order_acquire)
     283                 :            :                         == EV_FUTURE_SETTING);
     284                 :            : #endif
     285                 :            : 
     286                 :         36 :         future->value = value;
     287                 :            : 
     288                 :            :         struct sllist queue;
     289                 :         36 :         sllist_init(&queue);
     290                 :            : 
     291                 :            : #if !LELY_NO_THREADS
     292                 :         36 :         mtx_lock(&future->mtx);
     293                 :            : #endif
     294                 :            : 
     295                 :         36 :         sllist_append(&queue, &future->queue);
     296                 :            : 
     297                 :            : #if LELY_NO_THREADS || LELY_NO_ATOMICS
     298                 :            :         future->state = EV_FUTURE_READY;
     299                 :            : #else
     300                 :         36 :         atomic_store_explicit(
     301                 :            :                         &future->state, EV_FUTURE_READY, memory_order_release);
     302                 :            : #endif
     303                 :            : 
     304                 :            : #if !LELY_NO_THREADS
     305                 :         36 :         mtx_unlock(&future->mtx);
     306                 :            : #endif
     307                 :            : 
     308                 :         36 :         ev_task_queue_post(&queue);
     309                 :         36 : }
     310                 :            : 
     311                 :            : ev_future_t *
     312                 :         36 : ev_promise_get_future(ev_promise_t *promise)
     313                 :            : {
     314                 :            :         assert(promise);
     315                 :            : 
     316                 :         36 :         return ev_future_acquire(&promise->future);
     317                 :            : }
     318                 :            : 
     319                 :            : ev_future_t *
     320                 :         76 : ev_future_acquire(ev_future_t *future)
     321                 :            : {
     322         [ +  + ]:         76 :         if (future)
     323                 :         71 :                 ev_promise_acquire(ev_promise_from_future(future));
     324                 :         76 :         return future;
     325                 :            : }
     326                 :            : 
     327                 :            : void
     328                 :         81 : ev_future_release(ev_future_t *future)
     329                 :            : {
     330         [ +  + ]:         81 :         if (future)
     331                 :         71 :                 ev_promise_release(ev_promise_from_future(future));
     332                 :         81 : }
     333                 :            : 
     334                 :            : int
     335                 :          0 : ev_future_is_unique(const ev_future_t *future)
     336                 :            : {
     337                 :          0 :         return ev_promise_is_unique(ev_promise_from_future(future));
     338                 :            : }
     339                 :            : 
     340                 :            : int
     341                 :         78 : ev_future_is_ready(const ev_future_t *future)
     342                 :            : {
     343                 :            :         assert(future);
     344                 :            : 
     345                 :            : #if LELY_NO_THREADS || LELY_NO_ATOMICS
     346                 :            :         return future->state == EV_FUTURE_READY;
     347                 :            : #else
     348                 :            :         // clang-format off
     349                 :         78 :         return atomic_load_explicit((atomic_int *)&future->state,
     350                 :         78 :                         memory_order_acquire) == EV_FUTURE_READY;
     351                 :            :         // clang-format on
     352                 :            : #endif
     353                 :            : }
     354                 :            : 
     355                 :            : void *
     356                 :         36 : ev_future_get(const ev_future_t *future)
     357                 :            : {
     358                 :            :         assert(ev_future_is_ready(future));
     359                 :            : 
     360                 :         36 :         return future->value;
     361                 :            : }
     362                 :            : 
     363                 :            : void
     364                 :         35 : ev_future_submit(ev_future_t *future, struct ev_task *task)
     365                 :            : {
     366                 :            :         assert(future);
     367                 :            :         assert(task);
     368                 :         35 :         ev_exec_t *exec = task->exec;
     369                 :            :         assert(exec);
     370                 :            : 
     371                 :         35 :         ev_exec_on_task_init(exec);
     372                 :            : 
     373                 :            : #if !LELY_NO_THREADS
     374                 :         35 :         mtx_lock(&future->mtx);
     375                 :            : #endif
     376         [ -  + ]:         35 :         if (ev_future_is_ready(future)) {
     377                 :            : #if !LELY_NO_THREADS
     378                 :          0 :                 mtx_unlock(&future->mtx);
     379                 :            : #endif
     380                 :          0 :                 ev_exec_post(exec, task);
     381                 :          0 :                 ev_exec_on_task_fini(exec);
     382                 :            :         } else {
     383                 :         35 :                 sllist_push_back(&future->queue, &task->_node);
     384                 :            : #if !LELY_NO_THREADS
     385                 :         35 :                 mtx_unlock(&future->mtx);
     386                 :            : #endif
     387                 :            :         }
     388                 :         35 : }
     389                 :            : 
     390                 :            : size_t
     391                 :          0 : ev_future_cancel(ev_future_t *future, struct ev_task *task)
     392                 :            : {
     393                 :            :         assert(future);
     394                 :            : 
     395                 :            :         struct sllist queue;
     396                 :          0 :         sllist_init(&queue);
     397                 :            : 
     398                 :          0 :         ev_future_pop(future, &queue, task);
     399                 :            : 
     400                 :          0 :         return ev_task_queue_post(&queue);
     401                 :            : }
     402                 :            : 
     403                 :            : size_t
     404                 :          0 : ev_future_abort(ev_future_t *future, struct ev_task *task)
     405                 :            : {
     406                 :            :         assert(future);
     407                 :            : 
     408                 :            :         struct sllist queue;
     409                 :          0 :         sllist_init(&queue);
     410                 :            : 
     411                 :          0 :         ev_future_pop(future, &queue, task);
     412                 :            : 
     413                 :          0 :         return ev_task_queue_abort(&queue);
     414                 :            : }
     415                 :            : 
     416                 :            : ev_future_t *
     417                 :          0 : ev_future_when_all(ev_exec_t *exec, ev_future_t *future, ...)
     418                 :            : {
     419                 :            :         va_list ap;
     420                 :          0 :         va_start(ap, future);
     421                 :          0 :         ev_future_t *result = ev_future_when_all_v(exec, future, ap);
     422                 :          0 :         va_end(ap);
     423                 :          0 :         return result;
     424                 :            : }
     425                 :            : 
     426                 :            : ev_future_t *
     427                 :          0 : ev_future_when_all_v(ev_exec_t *exec, ev_future_t *future, va_list ap)
     428                 :            : {
     429                 :            :         size_t n;
     430                 :            :         va_list aq;
     431                 :          0 :         va_copy(aq, ap);
     432                 :          0 :         ev_future_t *arg = future;
     433                 :            :         // NOLINTNEXTLINE(clang-analyzer-valist.Uninitialized)
     434         [ #  # ]:          0 :         for (n = 0; arg; n++, arg = va_arg(aq, ev_future_t *))
     435                 :            :                 ;
     436                 :          0 :         va_end(aq);
     437                 :          0 :         return ev_future_when_all_nv(exec, n, future, ap);
     438                 :            : }
     439                 :            : 
     440                 :            : ev_future_t *
     441                 :          0 : ev_future_when_all_n(ev_exec_t *exec, size_t n, ev_future_t *const *futures)
     442                 :            : {
     443                 :            :         assert(exec);
     444                 :            :         assert(!n || futures);
     445                 :            : 
     446                 :          0 :         ev_promise_t *promise = ev_promise_create(
     447                 :            :                         sizeof(struct ev_future_when_all)
     448                 :          0 :                                         + n * sizeof(ev_future_t *),
     449                 :            :                         NULL);
     450         [ #  # ]:          0 :         if (!promise)
     451                 :          0 :                 return NULL;
     452                 :            : 
     453                 :          0 :         struct ev_future_when_all *when = ev_promise_data(promise);
     454                 :          0 :         when->idx = 0;
     455                 :          0 :         when->promise = ev_promise_acquire(promise);
     456                 :          0 :         when->task = (struct ev_task)EV_TASK_INIT(
     457                 :            :                         exec, &ev_future_when_all_func);
     458                 :            : 
     459         [ #  # ]:          0 :         if ((when->n = n) != 0) {
     460         [ #  # ]:          0 :                 for (size_t i = 0; i < n; i++) {
     461                 :            :                         assert(futures[i]);
     462                 :          0 :                         when->futures[i] = ev_future_acquire(futures[i]);
     463                 :            :                 }
     464                 :          0 :                 ev_future_submit(when->futures[0], &when->task);
     465                 :            :         } else {
     466                 :          0 :                 ev_promise_set(promise, NULL);
     467                 :          0 :                 ev_promise_release(promise);
     468                 :            :         }
     469                 :            : 
     470                 :          0 :         ev_future_t *future = ev_promise_get_future(promise);
     471                 :          0 :         ev_promise_release(promise);
     472                 :          0 :         return future;
     473                 :            : }
     474                 :            : 
     475                 :            : ev_future_t *
     476                 :          1 : ev_future_when_any(ev_exec_t *exec, ev_future_t *future, ...)
     477                 :            : {
     478                 :            :         va_list ap;
     479                 :          1 :         va_start(ap, future);
     480                 :          1 :         ev_future_t *result = ev_future_when_any_v(exec, future, ap);
     481                 :          1 :         va_end(ap);
     482                 :          1 :         return result;
     483                 :            : }
     484                 :            : 
     485                 :            : ev_future_t *
     486                 :          1 : ev_future_when_any_v(ev_exec_t *exec, ev_future_t *future, va_list ap)
     487                 :            : {
     488                 :            :         size_t n;
     489                 :            :         va_list aq;
     490                 :          1 :         va_copy(aq, ap);
     491                 :          1 :         ev_future_t *arg = future;
     492                 :            :         // NOLINTNEXTLINE(clang-analyzer-valist.Uninitialized)
     493         [ +  + ]:          2 :         for (n = 0; arg; n++, arg = va_arg(aq, ev_future_t *))
     494                 :            :                 ;
     495                 :          1 :         va_end(aq);
     496                 :          1 :         return ev_future_when_any_nv(exec, n, future, ap);
     497                 :            : }
     498                 :            : 
     499                 :            : ev_future_t *
     500                 :          1 : ev_future_when_any_n(ev_exec_t *exec, size_t n, ev_future_t *const *futures)
     501                 :            : {
     502                 :            :         assert(exec);
     503                 :            :         assert(!n || futures);
     504                 :            : 
     505                 :          1 :         ev_promise_t *promise = ev_promise_create(
     506                 :            :                         n * sizeof(struct ev_future_when_any), NULL);
     507         [ -  + ]:          1 :         if (!promise)
     508                 :          0 :                 return NULL;
     509                 :            : 
     510         [ +  - ]:          1 :         if (n) {
     511                 :          1 :                 struct ev_future_when_any *wait = ev_promise_data(promise);
     512         [ +  + ]:          2 :                 for (size_t i = 0; i < n; i++) {
     513                 :            :                         assert(futures[i]);
     514                 :          1 :                         wait[i].idx = i;
     515                 :          1 :                         wait[i].promise = ev_promise_acquire(promise);
     516                 :          1 :                         wait[i].task = (struct ev_task)EV_TASK_INIT(
     517                 :            :                                         exec, &ev_future_when_any_func);
     518                 :          1 :                         ev_future_submit(futures[i], &wait[i].task);
     519                 :            :                 }
     520                 :            :         } else {
     521                 :          0 :                 ev_promise_set(promise, NULL);
     522                 :            :         }
     523                 :            : 
     524                 :          1 :         ev_future_t *future = ev_promise_get_future(promise);
     525                 :            : #if LELY_NO_THREADS || LELY_NO_ATOMICS
     526                 :            :         assert(promise->refcnt >= 2);
     527                 :            : #else
     528                 :            :         assert(atomic_load(&promise->refcnt) >= 2);
     529                 :            : #endif
     530                 :            :         // Prevent false positive in scan-build.
     531                 :            : #ifndef __clang_analyzer__
     532                 :          1 :         ev_promise_release(promise);
     533                 :            : #endif
     534                 :            :         // NOLINTNEXTLINE(clang-analyzer-unix.Malloc)
     535                 :          1 :         return future;
     536                 :            : }
     537                 :            : 
     538                 :            : static ev_future_t *
     539                 :         36 : ev_future_init(ev_future_t *future)
     540                 :            : {
     541                 :            :         assert(future);
     542                 :            : 
     543                 :            : #if LELY_NO_THREADS || LELY_NO_ATOMICS || (_WIN32 && !defined(__MINGW32__))
     544                 :            :         future->state = EV_FUTURE_WAITING;
     545                 :            : #else
     546                 :         36 :         atomic_init(&future->state, EV_FUTURE_WAITING);
     547                 :            : #endif
     548                 :            : 
     549                 :         36 :         future->value = NULL;
     550                 :            : 
     551                 :            : #if !LELY_NO_THREADS
     552         [ -  + ]:         36 :         if (mtx_init(&future->mtx, mtx_plain) != thrd_success)
     553                 :          0 :                 return NULL;
     554                 :            : #endif
     555                 :            : 
     556                 :         36 :         sllist_init(&future->queue);
     557                 :            : 
     558                 :         36 :         return future;
     559                 :            : }
     560                 :            : 
     561                 :            : static void
     562                 :         36 : ev_future_fini(ev_future_t *future)
     563                 :            : {
     564                 :            :         assert(future);
     565                 :            : 
     566                 :         36 :         ev_task_queue_post(&future->queue);
     567                 :            : 
     568                 :            : #if !LELY_NO_THREADS
     569                 :         36 :         mtx_destroy(&future->mtx);
     570                 :            : #endif
     571                 :         36 : }
     572                 :            : 
     573                 :            : static void
     574                 :          0 : ev_future_pop(ev_future_t *future, struct sllist *queue, struct ev_task *task)
     575                 :            : {
     576                 :            :         assert(future);
     577                 :            :         assert(queue);
     578                 :            : 
     579                 :            : #if !LELY_NO_THREADS
     580                 :          0 :         mtx_lock(&future->mtx);
     581                 :            : #endif
     582         [ #  # ]:          0 :         if (!task)
     583                 :          0 :                 sllist_append(queue, &future->queue);
     584         [ #  # ]:          0 :         else if (sllist_remove(&future->queue, &task->_node))
     585                 :          0 :                 sllist_push_back(queue, &task->_node);
     586                 :            : #if !LELY_NO_THREADS
     587                 :          0 :         mtx_unlock(&future->mtx);
     588                 :            : #endif
     589                 :          0 : }
     590                 :            : 
     591                 :            : static inline ev_promise_t *
     592                 :        142 : ev_promise_from_future(const ev_future_t *future)
     593                 :            : {
     594                 :            :         assert(future);
     595                 :            : 
     596                 :        142 :         return structof(future, ev_promise_t, future);
     597                 :            : }
     598                 :            : 
     599                 :            : static void *
     600                 :         36 : ev_promise_alloc(size_t size)
     601                 :            : {
     602                 :            :         // cppcheck-suppress AssignmentAddressToInteger
     603                 :         36 :         void *ptr = calloc(1, EV_PROMISE_SIZE + size);
     604                 :            : #if !LELY_NO_ERRNO
     605         [ -  + ]:         36 :         if (!ptr)
     606                 :          0 :                 set_errc(errno2c(errno));
     607                 :            : #endif
     608                 :         36 :         return ptr;
     609                 :            : }
     610                 :            : 
     611                 :            : static void
     612                 :         36 : ev_promise_free(void *ptr)
     613                 :            : {
     614                 :         36 :         free(ptr);
     615                 :         36 : }
     616                 :            : 
     617                 :            : static ev_promise_t *
     618                 :         36 : ev_promise_init(ev_promise_t *promise, ev_promise_dtor_t *dtor)
     619                 :            : {
     620                 :            :         assert(promise);
     621                 :            : 
     622                 :            : #if LELY_NO_THREADS || LELY_NO_ATOMICS || (_WIN32 && !defined(__MINGW32__))
     623                 :            :         promise->refcnt = 1;
     624                 :            : #else
     625                 :         36 :         atomic_init(&promise->refcnt, 1);
     626                 :            : #endif
     627                 :            : 
     628                 :         36 :         promise->dtor = dtor;
     629                 :            : 
     630         [ -  + ]:         36 :         if (!ev_future_init(&promise->future))
     631                 :          0 :                 return NULL;
     632                 :            : 
     633                 :         36 :         return promise;
     634                 :            : }
     635                 :            : 
     636                 :            : static void
     637                 :         36 : ev_promise_fini(ev_promise_t *promise)
     638                 :            : {
     639                 :            :         assert(promise);
     640                 :            : 
     641         [ +  + ]:         36 :         if (promise->dtor)
     642                 :         30 :                 promise->dtor(ev_promise_data(promise));
     643                 :            : 
     644                 :         36 :         ev_future_fini(&promise->future);
     645                 :         36 : }
     646                 :            : 
     647                 :            : static ev_future_t *
     648                 :          0 : ev_future_when_all_nv(
     649                 :            :                 ev_exec_t *exec, size_t n, ev_future_t *future, va_list ap)
     650                 :            : {
     651         [ #  # ]:          0 :         if (n <= LELY_EV_FUTURE_MAX) {
     652                 :            : #if __STDC_NO_VLA__ || defined(_MSC_VER)
     653                 :            :                 ev_future_t *futures[LELY_EV_FUTURE_MAX];
     654                 :            : #else
     655         [ #  # ]:          0 :                 ev_future_t *futures[n ? n : 1];
     656                 :            : #endif
     657         [ #  # ]:          0 :                 for (size_t i = 0; i < n; i++) {
     658                 :          0 :                         futures[i] = future;
     659                 :          0 :                         future = va_arg(ap, ev_future_t *);
     660                 :            :                 }
     661                 :          0 :                 return ev_future_when_all_n(exec, n, futures);
     662                 :            :         } else {
     663                 :          0 :                 ev_future_t **futures = malloc(n * sizeof(*futures));
     664         [ #  # ]:          0 :                 if (!futures) {
     665                 :            : #if !LELY_NO_ERRNO
     666                 :          0 :                         set_errc(errno2c(errno));
     667                 :            : #endif
     668                 :          0 :                         return NULL;
     669                 :            :                 }
     670         [ #  # ]:          0 :                 for (size_t i = 0; i < n; i++) {
     671                 :          0 :                         futures[i] = future;
     672                 :          0 :                         future = va_arg(ap, ev_future_t *);
     673                 :            :                 }
     674                 :          0 :                 ev_future_t *result = ev_future_when_all_n(exec, n, futures);
     675                 :            : #if !LELY_NO_ERRNO
     676                 :          0 :                 int errsv = errno;
     677                 :            : #endif
     678                 :          0 :                 free(futures);
     679                 :            : #if !LELY_NO_ERRNO
     680                 :          0 :                 errno = errsv;
     681                 :            : #endif
     682                 :          0 :                 return result;
     683                 :            :         }
     684                 :            : }
     685                 :            : 
     686                 :            : static void
     687                 :          0 : ev_future_when_all_func(struct ev_task *task)
     688                 :            : {
     689                 :            :         assert(task);
     690                 :          0 :         struct ev_future_when_all *when =
     691                 :          0 :                         structof(task, struct ev_future_when_all, task);
     692                 :            : 
     693                 :          0 :         ev_future_t **pfuture = when->futures + when->idx;
     694         [ #  # ]:          0 :         if (ev_future_is_ready(*pfuture)) {
     695                 :          0 :                 ev_future_release(*pfuture);
     696   [ #  #  #  # ]:          0 :                 while (++when->idx < when->n && ev_future_is_unique(*++pfuture))
     697                 :          0 :                         ev_future_release(*pfuture);
     698         [ #  # ]:          0 :                 if (when->idx < when->n) {
     699                 :          0 :                         ev_future_submit(*pfuture, &when->task);
     700                 :          0 :                         return;
     701                 :            :                 }
     702                 :            :         } else {
     703         [ #  # ]:          0 :                 for (size_t i = when->idx; i < when->n; i++)
     704                 :          0 :                         ev_future_release(*pfuture++);
     705                 :            :         }
     706                 :            : 
     707                 :          0 :         ev_promise_set(when->promise, &when->idx);
     708                 :          0 :         ev_promise_release(when->promise);
     709                 :            : }
     710                 :            : 
     711                 :            : static ev_future_t *
     712                 :          1 : ev_future_when_any_nv(
     713                 :            :                 ev_exec_t *exec, size_t n, ev_future_t *future, va_list ap)
     714                 :            : {
     715         [ +  - ]:          1 :         if (n <= LELY_EV_FUTURE_MAX) {
     716                 :            : #if __STDC_NO_VLA__ || defined(_MSC_VER)
     717                 :            :                 ev_future_t *futures[LELY_EV_FUTURE_MAX];
     718                 :            : #else
     719         [ +  - ]:          1 :                 ev_future_t *futures[n ? n : 1];
     720                 :            : #endif
     721         [ +  + ]:          2 :                 for (size_t i = 0; i < n; i++) {
     722                 :          1 :                         futures[i] = future;
     723                 :          1 :                         future = va_arg(ap, ev_future_t *);
     724                 :            :                 }
     725                 :          1 :                 return ev_future_when_any_n(exec, n, futures);
     726                 :            :         } else {
     727                 :          0 :                 ev_future_t **futures = malloc(n * sizeof(*futures));
     728         [ #  # ]:          0 :                 if (!futures) {
     729                 :            : #if !LELY_NO_ERRNO
     730                 :          0 :                         set_errc(errno2c(errno));
     731                 :            : #endif
     732                 :          0 :                         return NULL;
     733                 :            :                 }
     734         [ #  # ]:          0 :                 for (size_t i = 0; i < n; i++) {
     735                 :          0 :                         futures[i] = future;
     736                 :          0 :                         future = va_arg(ap, ev_future_t *);
     737                 :            :                 }
     738                 :          0 :                 ev_future_t *result = ev_future_when_any_n(exec, n, futures);
     739                 :            : #if !LELY_NO_ERRNO
     740                 :          0 :                 int errsv = errno;
     741                 :            : #endif
     742                 :          0 :                 free(futures);
     743                 :            : #if !LELY_NO_ERRNO
     744                 :          0 :                 errno = errsv;
     745                 :            : #endif
     746                 :          0 :                 return result;
     747                 :            :         }
     748                 :            : }
     749                 :            : 
     750                 :            : static void
     751                 :          1 : ev_future_when_any_func(struct ev_task *task)
     752                 :            : {
     753                 :            :         assert(task);
     754                 :          1 :         struct ev_future_when_any *when =
     755                 :          1 :                         structof(task, struct ev_future_when_any, task);
     756                 :            : 
     757                 :          1 :         ev_promise_set(when->promise, &when->idx);
     758                 :          1 :         ev_promise_release(when->promise);
     759                 :          1 : }
     760                 :            : 
     761                 :            : #endif // !LELY_NO_MALLOC

Generated by: LCOV version 1.14